Unknown-names-in-polarity-pragmas.agda:3,14-4,15
The following names are not declared in the same scope as their
polarity pragmas (they could for instance be out of scope, imported
from another module, or declared in a super module): F, G
